TSTP Solution File: GRA033^2 by CARINE---0.734